package org.xtext.runtime.interpreter;

import java.util.List;

public interface Profiler {
	public void recordTimings(long iteration, long startTime, long[] timings, int events, int beliefs, int intentions, List<String> activities);
}